18.46/21.90	unsat
