774.24/775.30	unsat
