18.25/20.43	unsat
