577.34/580.77	unsat
