105.26/107.28	unsat
