101.79/105.56	unsat
