80.23/80.43	unsat
