18.64/21.48	unsat
