6.38/11.32	unsat
