287.07/290.03	unsat
