18.18/20.25	unsat
