104.19/105.32	unsat
