18.67/21.37	unsat
