18.95/19.03	unsat
