0.84/1.03	unsat
