18.67/21.41	unsat
