580.43/583.14	unsat
