104.54/108.03	unsat
