17.06/23.49	unsat
