11.38/11.42	unsat
