1.05/3.65	unsat
