18.52/21.49	unsat
