603.48/605.39	unsat
