787.64/791.45	unsat
