11.38/11.49	unsat
