6.89/10.39	unsat
