571.34/575.86	unsat
